| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 478709 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 474761 | ||
| Vorlesung | 471532 | Di 16:30-18:00 AH I (2350|028) (×10) Do 08:30-10:00 AH II (2350|111) (×9) | |||
| Übung | 471513 | Di 14:00-15:30 AH II (2350|111) (×1) Fr 14:00-17:00 AH I (2350|028) (×1) Fr 14:30-16:00 AH II (2350|111) (×8) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 475176 | ||
| Vorlesung | 481663 | Di 12:30-14:00 AH I (2350|028) (×12) Mi 08:30-10:00 AH VI (2356|051) (×14) | |||
| Übung | 481664 | Mi 10:30-12:00 AH V (2356|050) (×14) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 477977 | ||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 477345 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 477019 | ||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 482399 | ||
| Vorlesung/Übung | 482126 | Mi 08:30-10:00 S03 (1385|203) (×14) Do 10:30-12:00 R 220 (1080|220) (×12) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 477928 | ||
| Vorlesung | 474525 | Mo 12:00-14:00 5055 (2356|055) (×1) Mo 16:30-18:00 AH II (2350|111) (×10) Di 18:30-20:00 AH III (2350|314.1) (×12) Do 09:50-15:00 5052 (2356|052) (×1) | |||
| Übung | 474235 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 476135 |